package sketch.apache.collection;

import java.util.HashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.ListIterator;
import java.util.Set;

import org.apache.commons.collections.buffer.CircularFifoBuffer;
import org.apache.commons.collections.comparators.FixedOrderComparator;
import org.apache.commons.collections.list.CursorableLinkedList;
import org.apache.commons.collections.map.LRUMap;
import org.apache.commons.collections.map.MultiValueMap;
import org.apache.commons.collections.set.ListOrderedSet;

import junit.framework.TestCase;
import sketch.ounit.Observer;
import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import sketch.ounit.OUnit;

/***
 * 
 * Head comment
 * */
public class ReWriteRepetitiveUnitTests extends TestCase {
	@TestSketch
	public void rewriteSize() {
		MultiValueMap map = new MultiValueMap();
		String key = Values.choose("A", "B", "C", "D");
		String value = Values.choose("AA", "BB", "CC", "D");
		{/*@Repeat*/
			map.put(key, value);
			{/*@ChooseOne*/
			  Observer.observeExpr(map.totalSize());
			  Observer.observeExpr(map.size());
			}
			{/*@ChooseAll*/
				map.remove(key);
			}
		}
	}
}